# Module 'cmp'

# Compare efficacement des fichiers; le résultat est toujours un booléen
# (les deux fichiers sont égaux / différents).

# Les règles suivantes s'appliquent (dans cet ordre) :
#   - Les fichiers de type, de taille et de date de dernière modification
#     identiques sont considérés comme des clones
#   - Les fichiers de type ou de taille différente ne peuvent être identiques
#   - Un cache des comparaisons effectuées plus tôt est utilisé 
#   - On ne crée pas un nouveau processus dans le seul but de lancer la
#     commande 'cmp' mais on lit plutôt nous-mêmes les fichiers

import posix

cache = {}

def cmp(f1, f2): # Compare deux fichiers, en utilisant le cache si possible
	# Renvoie 1 si les deux fichiers sont identiques, 0 s'ils sont différents.
	# Déclenche une exception si l'un des deux fichiers n'a pas pu être lu,
	# si on n'a pas pu obtenir les statistiques de l'un des deux fichiers...
	s1, s2 = sig(posix.stat(f1)), sig(posix.stat(f2))
	if s1[0] <> 8 or s2[0] <> 8:
		# L'un des deux fichiers n'est pas un fichier au sens strict du terme
		# Dans ce cas, on signale toujours que les deux fichiers sont
		# différents
		return 0
	if s1 = s2:
		# le type, la taille et la date de dernière modification des deux
		# fichiers sont identiques -- on le signale
		return 1
	if s1[:2] <> s2[:2]: # Le type ou la taille des deux fichiers diffère,
		                 # on ne va pas plus loin
		# le type ou la taille des deux fichiers diffère -- on les
		# signale comme étant différents
		return 0
	# même type et même taille -- on regarde dans le cache
	key = f1 + ' ' + f2
	try:
		cs1, cs2, outcome = cache[key]
		# il y a une entrée dans le cache
		if s1 = cs1 and s2 = cs2:
			# la signature de l'entrée correspond
			return outcome
		# l'entrée du cache qu'on a trouvée est trop vieille
	except RuntimeError:
		# il n'y a pas d'entrée dans le cache
		pass
	# on compare vraiment les deux fichiers
	outcome = do_cmp(f1, f2)
	cache[key] = s1, s2, outcome
	return outcome

def sig(st): # Renvoie la signature d'un fichier (à savoir le type, la taille
	         # et la date de dernière modification du fichier) à partir des
	         # données brutes obtenues à l'aide de la commande stat 
	# indices 0 à 5 : st_mode, st_ino, st_dev, st_nlink, st_uid, st_gid
	# indices 6 à 9 : st_size, st_atime, st_mtime, st_ctime
	type = st[0] / 4096
	size = st[6]
	mtime = st[8]
	return type, size, mtime

def do_cmp(f1, f2): # Compare véritablement deux fichiers
	bufsize = 8096 # Valeur susceptible de changer à l'avenir
	fp1 = open(f1, 'r')
	fp2 = open(f2, 'r')
	while 1:
		b1 = fp1.read(bufsize)
		b2 = fp2.read(bufsize)
		if b1 <> b2: return 0
		if not b1: return 1
